package coverage;

public class RunRandoop {
	public static void main(String[] args) {
		
	    args = new String[]{"gentests", "--testclass=treemap.TreeMap",
	        "--junit-classname=RandoopTestTreeMap", "--junit-output-dir=./subjects",
	        "--junit-package-name=coverage.randoopgen", "--timelimit=30"};
	    randoop.main.Main.main(args);
	  }

}
